面向安全属性的软件组件可信依赖关系度量模型

随着软件的应用规模越来越大，软件系统一旦出现故障，很可能会造成人员伤亡或财产等重大损失，因此对软件可信性进行评估尤为重要.在安全攸关如航空航天等领域，作为可信关键属性之一的安全性影响着整个软件系统的可信评估.特别当一个组件受到安全攻击或缺陷出现时，可信性会下降，会影响到与它可信关联的组件可信性，从而影响到整个系统的可信性.遵循这一思路，设计了软件系统组件可信性发生改变后对其它组件可信性影响度量公式，进一步给出当一组件可信性发生变化，整个软件系统各组件可信性度量发生变化的度量模型.本文以某“航天电源管理设备”为例，证明了本文所建立的组件可信依赖关系度量模型的合理性和有效性.     

光栅信号时钟脉冲细分的误差分析

简介时钟脉冲细分技术的原理，着重分析其细分误差因素，给出了计算实际最大细分数的理论公式，并论述了光栅最大运动速度、时钟脉冲分频数和实际最大细分数之间的关系，对光栅信号时钟脉冲细分系统的参数设计具有指导意义。     

面向高速切削加工的数控编程技术

分析高速切削加工所具有的特殊性及优点,并说明高速切削对数控编程方法的限制.针对传统编程方法,提出了满足高速切削加工的刀位轨迹特殊处理关键技术,并对其实现方法进行了较详尽的论述.同时,对高速切削数控编程中刀具载荷分析与速率优化、毛坯残留量自动分析等新技术的实现方法也进行了探讨.     

提高压电式直线电机推力新技术

介绍了蠕动式、脉冲式、行波式及表面波式等几种压电直线电机的改进措施和进展情况，其中微脊式蠕动直线电机和表面波直线电机极有可能成为今后压电直线电机的商品化市场的新产品方向。     

GDBMS中图形数据的表示与存贮

GDBMS是作者设计并实现的一个实验性的工程图形数据库管理系统。它基于扩充关系数据模型,成功地完成了对工程图形数据的描述。 本文从图形的数据库表示出发,对几何实体的建模方法进行了分析,介绍了GDBMS中的图形数据模型及其实现方法。该数据模型吸取图元枚举法(PI方法),结构实体几何表示法(CSG法)和边界表示法(BR方法)的优点,在进行交互式图形编辑以及图形显示时,采用CSG结构,在数据库的存贮和处理时,采用扩充的BR方法。     

红外隐身材料的研究进展

红外探测器的高度发展已使用于目标表面的热红外隐身材料成为飞行器隐身技术中的一个重要组成部分。但对这种材料的发展情况,以往的文献一向较少涉及。本文概括了这种材料的一般性能要求,较全面地评述了十余年来红外隐身材料研究中各主要方面的发展情况,并分析了一些重要材料品种的特点、性能水平、技术影响因素、存在的问题和发展趋势。     

基于三轴磁强计与雷达高度计的融合导航算法

为了减小近地轨道(小于1000km)地磁导航的估计误差协方差，提高导航的可靠性和准确性，在地磁导航系统中引入雷达高度计作为一个新的测量设备，提出了一种基于三轴磁强计与雷达高度计的融合导航算法。该算法取卫星的位置和速度向量作为状态向量，建立状态方程；取卫星周围的磁场强度和卫星到星下点实际海平面距离求出的地心距，作为观测量建立观测方程；利用扩展卡尔曼滤波构成一种融合导航算法。仿真结果表明，提出的融合导航算法对轨道位置的估计误差小于20米，速度的估计误差小于1米／秒，导航算法的精度和收敛性都优于使用单一地磁导航的系统。     

关于空管执行文化建设的思考

当代著名培训大师余世维博士对文化作过这样的论述:坚持一种行为就变成了习惯,坚持一种习惯就变成了传统,坚持一种传统就变成了文化。应该说这个论述既独到又精辟。从某个角度说,文化的确就是一种习惯,一种传统。一个人有良好的习惯,一个单位有优良的传统,优秀的文化就自然形成     

基于PCI总线的PC机再入遥测站设计

根据再入遥测的特点 ,提出基于 PCI总线和 Windows平台的 PC机再入遥测站的体系结构 ,重点对其关键技术即多通道高速数据的实时传输与存储技术进行研究     

Precipitating Protons and Their Role in Ionization of the Polar Ionosphere

Spatial distributions of the electron density in the latitude range 60°–90° N were calculated on the basis of a physical model of the E and lower Fregions of the high-latitude ionosphere using statistical models of auroral proton and electron precipitation. It is shown that precipitating protons can play the key role in the ionization of the Eregion in the dusk and midnight sectors of the auroral oval. However, quantitative estimates of the contribution of protons to the ionization depend on the used statistical models of electron precipitation. Comparison of the electron density profiles calculated for two incoherent scatter radars, EISCAT (Tromsö) and ESR (Svalbard), for simultaneous precipitation of electrons and protons and for electron precipitation only show that the influence of protons is the most significant in the dusk sector over the EISCAT radar and in the midnight sector over the ESR radar. The results presented indicate the need to take protons into account when radar data are used to derive precipitating electron spectra.